Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
101	Regular Expressions for Languages over Infinite Alphabets (Extended abstract) Michael Kaminski1 and Tony Tan2 1 Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Applied mathematics Computer science Regular language Symbol Alphabet Ω-automaton Formal languages Automata theory Mathematics
102	Real-Time Training of Team Soccer Behaviors Keith Sullivan and Sean Luke Department of Computer Science, George Mason University 4400 University Drive MSN 4A5, Fairfax, VAUSA {ksulliv2, sean}@cs.gmu.edu Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2012-05-02 19:23:57 Humanoid robot Agent-based model RoboCup Multi-agent system Behavior-based robotics A New Kind of Science Systems theory Ethology Science Cellular automata Robot
103	Learning Stochastic Finite Automata for Musical Style Recognition? Colin de la Higuera, Fr´ed´eric Piat and Fr´ed´eric Tantini1 EURISE, Universit´e de Saint-Etienne, 23 rue du Docteur Paul Michelon, 42023 Saint-Etie Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2009-09-07 03:02:20 Formal languages Computer science Applied mathematics Combinatorics on words Probabilistic automaton Finite-state machine Finite state transducer Nondeterministic finite automaton Deterministic finite automaton Automata theory Models of computation Theoretical computer science
104	PDF Document Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-03-05 12:47:57 Nested word Words Pushdown automaton Context-free language Symbol Finite-state machine Mathematics Linguistics Computing Automata theory Models of computation Formal languages
105	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
106	On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ? Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2008-12-09 11:42:04 Tree automaton Omega language Regular language Deterministic automaton Ω-automaton Büchi automaton Automata theory Theoretical computer science Computer science
107	Kiss Devs Software Company Mobile, Web & Integration www.kissdevs.com Add to Reading List Source URL: www.kissdevs.com Language: English - Date: 2015-05-27 06:27:20 JavaScript Automata theory DEVS JSON SQLite Mobile application development Comparison of wiki software Multiple phone web-based application framework Computing Software Scripting languages
108	Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:22 Models of computation Computer science Software engineering Nondeterministic finite automaton Deterministic finite automaton Regular language Symbol String Regular expression Automata theory Formal languages Theoretical computer science
109	RICE UNIVERSITY B¨ uchi Containment and Size-Change Termination by Seth Fogarty A THESIS SUBMITTED Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-10-21 15:29:28 Automata theory Models of computation Finite-state machine
110	Algorithmic Analysis of Array-Accessing Programs ? ˇ Rajeev Alur, Pavol Cern´ y, and Scott Weinstein University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-06-22 08:52:31 Mathematics Formal languages Computer science Finite state transducer Finite-state machine Nondeterministic finite automaton Petri net FO Variable Automata theory Models of computation Theoretical computer science

UPDATE